Modelling Assumption-Based Reasoning Using Contexts
نویسندگان
چکیده
We propose a two-fold use of context in reasoning about agents. The first concerns the modelling of beliefs which are entertained only within the scope of some assumption. We illustrate this use by describing as logical model of an agent which reasons in a natural deduction style by making assumptions to derive new formulas. The second use of context we propose here concerns the modelling of reasoning as a step-by-step temporal process, allowing us to model agents whose resources are temporally bounded. In such a setting, the beliefs ascribed to an agent need not be closed under consequence, as they are in many traditional epistemic logics.
منابع مشابه
Decision Support through Argumentation-Based Practical Reasoning
This extended research abstract describes an argumentation-based approach to modelling articulated decision making contexts. The approach encompasses a variety of argument and attack schemes aimed at representing basic knowledge and reasoning patterns for decision support.
متن کاملReasoning on the Web with Assumption-Based Argumentation
This tutorial provides an overview of computational argumentation, focusing on abstract argumentation and assumption-based argumentation, how they relate, as well as possible uses of the latter in Web contexts, and in particular the Semantic Web and Social Networks. The tutorial outlines achievements to date as well as (some) open issues.
متن کاملSchool of IT Technical Report PERSONALISED PERVASIVE MODELLING WITH A PERSONALISED CONTEXT ONTOLOGY
Ontologies have been shown to e ectively model domain knowledge and to automate reasoning about personalised and contextualised information. To exploit this potential in modelling a highly dynamic domain, such as a pervasive computing environment, it is also desirable to integrate the ontological reasoning e ectively with the other reasoning within the context modelling. In this paper, we descr...
متن کاملContext reasoning using extended evidence theory in pervasive computing environments
Most existing context reasoning approaches implicitly assume that contexts are precise and complete. This assumption cannot be held in pervasive computing environments, where contexts are often imprecise and incomplete due to unreliable connectivity, user mobility and resource constraints. To this end, we propose an approach called CRET: Context Reasoning using extended Evidence Theory. CRET ap...
متن کاملModelling the dynamics of reasoning processes: Reasoning by assumption
To model the dynamics of cognitive processes, often the Dynamical Systems Theory (DST) is advocated. However, for higher cognitive processes such as reasoning and certain forms of natural language processing the techniques adopted within DST are not very adequate. This paper shows how an analysis of the dynamics of reasoning processes can be made using techniques different from those of DST. Th...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005